all: test

test:
	dune build test/test.exe
	dune exec ax_tester

clean:
	dune clean
	rm -f bisect????.out

coverage:
	BISECT_ENABLE=yes make clean test
	mkdir -p coverage
	bisect-ppx-report -I _build/ -html coverage/ bisect????.out

.PHONY: all test coverage clean
